amstext.dtx

---